<!DOCTYPE html>
<html>
  <head>
    <meta charset="utf-8">

    <title>Athens Dev Tools</title>
  </head>

  <body>
    <nav>
      <ul>
        <li><a href="/athens/">Athens web client</li>
        <li><a href="/clerk/">Notebooks in Clerk</a></li>
      </ul>
     </nav>
  </body>
</html>
